TAFFO: The compiler-based precision tuner
نویسندگان
چکیده
Abstract We present taffo, a framework that automatically performs precision tuning to exploit the performance/accuracy trade-off. In order avoid expensive dynamic analyses, taffo leverages programmer annotations which encapsulate domain knowledge about conditions under software being optimized will run. As result, is easy use and provides state-of-the-art optimization efficacy in variety of hardware configurations application domains. provide guidelines for effective exploitation by showing typical example usage on simple application, achieving speedup up 60% at price an absolute error 3.53×10?5. modular based solid llvm technology, allows extensibility improved analysis techniques, comprehensive support most common precision-reduced data types programming languages. technology has been selected as tool European Training Network Approximate Computing.
منابع مشابه
Neuro-fuzzy Based Control Loop Tuner
An alternative approach for intelligent tuning of a control loop will be presented in this paper. The objective is to design an algorithm which will tune the controller employing a neuro-fuzzy based algorithm. Structure and design method based on this approach will be explored, which include an adaptive network employed as building block, the backpropagation gradient method and least square est...
متن کاملPrecision in Practice: A Type-Preserving Java Compiler
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, supporting a wide range of source language features is awkward. Further compilation and optimization, necessary for efficiency, must be trusted. We describe the design and implementation of a fully type-preserving compiler f...
متن کاملPrecision in Practice: A Type-Preserving JavaTM Compiler∗
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, supporting a wide range of source language features is awkward. Further compilation and optimization, necessary for e?ciency, must be trusted. We describe the design and implementation of a fully type-preserving compiler for...
متن کاملRF-MEMS based Tuner for microwave and millimeterwave applications
This chapter sets out the basics and applications of impedance tuner for microwave and millimeterwave applications. Engineering examples, based on innovative and up-to-date Radio-Frequency MicroElectroMechanical Systems (RF-MEMS) technologies, are used to illustrate theoretical and practical principles. An explicit, comprehensive and efficient design methodology of impedance tuners is furthermo...
متن کاملA Digital Guitar Tuner
The objective of this paper is to understand the critical parameters that need to be addressed while designing a guitar tuner. The focus of the design lies in developing a suitable algorithm to accurately detect the fundamental frequency of a plucked guitar string from its frequency spectrum. A user-friendly graphical interface is developed using Matlab to allow any user to easily tune his guit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SoftwareX
سال: 2022
ISSN: ['2352-7110']
DOI: https://doi.org/10.1016/j.softx.2022.101238